#ifndef _Bool_TYPE_h
#define _Bool_TYPE_h

#include <stdint.h>
#include <stdbool.h>
#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */


/* Clause SETS */
typedef enum
{
    Bool_TYPE__true,
    Bool_TYPE__false
    
} Bool_TYPE__resposta;

/* Clause CONCRETE_VARIABLES */


/* Clause CONCRETE_CONSTANTS */
/* Basic constants */
/* Array and record constants */
extern void Bool_TYPE__INITIALISATION(void);


#ifdef __cplusplus
}
#endif /* __cplusplus */


#endif /* _Bool_TYPE_h */
